System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
491	Preprint of an article published in Parallel Processing Letters, Vol. 24, Nopages) DOI: S0129626414410035 c World Scientific Publishing Company Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-10-03 08:19:59 Procedural programming languages Functional languages Computational science Scientific modeling Simulation software Stencil codes ALGOL 68 Type system Foreach loop Programming language theory Software engineering Computing
492	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory
493	1.Foundations This chapter presents the intellectual foundations for Joule: first, a brief synopsis of the history of programming languages, with emphasis on characteristics relative to distributed systems and Joule; se Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-04 19:43:53 Programming paradigms Software architecture Distributed computing architecture Server Server hardware Client–server model Operating system Programming language Kernel Computing Software engineering Computer programming
494	Auditing a Virtual Environment www.certificationeurope.com Tel + Fax + Security Auditing in a Virtual Add to Reading List Source URL: certificationeurope.co.uk Language: English - Date: 2012-11-14 08:34:55 Programming language implementation Hyper-V Information technology audit Hypervisor VM Operating system System software Software Virtual machines
495	CS109A ML Notes for the Week ofUsing ML ML can be used as an interactive language. We shall use a version running under UNIX, called SML/NJ or \Standard ML of New Jersey." Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:14 Procedural programming languages Functional languages Data types Type theory Standard ML C++ C++ classes Type system ?: Software engineering Programming language theory Computing
496	Foglight for Storage Management Monitor physical storage for optimal virtualization performance. Achieving optimal performance for your virtual servers is easy when Add to Reading List Source URL: software.dell.com Language: English - Date: 2013-10-04 14:35:45 Virtual machines VMware Programming language implementation Virtualization System software Software Computing
497	Performance Monitoring for KVM Guests Avi Kivity August 16, 2011 Agenda Add to Reading List Source URL: kvm.et.redhat.com Language: English - Date: 2011-08-13 22:58:28 Programming language implementation Red Hat System software Software Virtual machines
498	Step-by-step instructions on how to set up your creature Allen Parseghian November 15, Print out the creature library tutorial file (cl.ps) which is located in /home/ll/doc/cl_tutorial directory. Add to Reading List Source URL: www.ai.mit.edu Language: English - Date: 1999-11-23 17:38:58 Creature Programming language theory Computing Software engineering Type theory Library Type system
499	S. Howry August 1966 CGTM 10 Beam Switchyard Control Computer System Language Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2011-07-15 16:23:02 Jan Willem Klop Four-square cipher Computer programming Computing Software engineering
500	V viewpoints DOI: Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-17 18:22:37 Program analysis Programming language theory Setjmp.h Dynamic programming language Type system Eval Static program analysis JavaScript Programming language Software engineering Computing Control flow

UPDATE